1. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
2. Pattern calculus : computing with functions and structures
Author: Barry Jay
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Data structures )Computer science(,، Functional programming )Computer science(,، Lambda calculus
Classification :
QA
76
.
9
.
D35J32
3. Programming with higher-order logic /
Author: Dale Miller, Gopalan Nadathur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Prolog (Computer program language)
Classification :
QA76
.
63
.
M554
2012
